基于符号模型检测的Web服务组合形式化验证

随着经济的发展和市场竞争的加剧,企业必须能够快速且准确地满足市场和用户的各种需求。Web服务组合正是由于单个Web服务不能满足企业及用户的需求而产生的一种技术,而如何确保组合的正确性来实现服务增值是一个尚未完全解决的问题。针对此问题,提出了一种基于符号模型检测器NuSMV对Web服务组合进行验证的方法,并提出了基于消息会话的Web服务有限状态自动机的形式化定义。最后实例验证了Web服务组合交互的正确性和有无死锁状态现象,进一步证明了方法的可行性。     

关于离心泵管口允许载荷的探讨

详细描述了API610标准关于离心泵管口允许载荷的相关规定,并进行了必要的解读。探讨了目前关于离心泵管口载荷的现状和存在的问题,并给出了相关建议。     

DL-Learner—A framework for inductive learning on the Semantic Web

In this system paper, we describe the DL-Learner framework, which supports supervised machine learning using OWL and RDF for background knowledge representation. It can be beneficial in various data and schema analysis tasks with applications in different standard machine learning scenarios, e.g. in the life sciences, as well as Semantic Web specific applications such as ontology learning and enrichment. Since its creation in 2007, it has become the main OWL and RDF-based software framework for supervised structured machine learning and includes several algorithm implementations, usage examples and has applications building on top of the framework. The article gives an overview of the framework with a focus on algorithms and use cases.     

Nutrient Recommendations for Growing-up Milk: A Report of an Expert Panel

Utilization of expert recommendations in the development of food and beverage nutritional profiles represents an opportunity to merge science and food manufacturing to deliver nutritionally optimized products into the marketplace. This report details expert panel guidelines for the design of a nutritional product for children one to six years of age. This interaction demonstrates the essential synergy between academia and food manufacturers in translating nutrient recommendations to food for their delivery to a population. Important factors for such translation are the identification of applicable nutrient recommendations and selection of an appropriate delivery matrix. This report demonstrates the translation of expert nutritional recommendations to a milk-based product for children—one to six years of age.     

A review of open source software solutions for developing water resources web applications

Water resources web applications or “web apps” are growing in popularity as a means to overcome many of the challenges associated with hydrologic simulations in decision-making. Water resources web apps fall outside of the capabilities of standard web development software, because of their spatial data components. These spatial data needs can be addressed using a combination of existing free and open source software (FOSS) for geographic information systems (FOSS4G) and FOSS for web development. However, the abundance of FOSS projects that are available can be overwhelming to new developers. In an effort to understand the web of FOSS features and capabilities, we reviewed many of the state-of-the-art FOSS software projects in the context of those that have been used to develop water resources web apps published in the peer-reviewed literature in the last decade (2004–2014).     

基于地图工具软件的固网业务预覆盖管理应用研究

预覆盖建设作为固网运营的第一步,直接影响通讯运营商在竞争格局中的地位。业务发展初期,覆盖选址常以客户关系切入或联合室分覆盖进行；进入规模发展阶段,寻找一种符合市场发展规律,结合网络资源情况的选址规划方案显得尤为重要。通过结合Google Earth和Baidu Map两个地图工具的特点,基于预覆盖管理工作的需求进行了应用开发,实现了在线用户交互、智能数据报表、选址策略等互联网的功能应用,为固网业务预覆盖管理工作提供了宝贵思路。     

基于Web的机票预订系统的设计与实现

文章主要介绍了实现机票预订系统的管理过程,该设计的完成也切实的体现了系统管理实施的优点。首先让大家了解了该系统开发的背景、研究现状及其发展趋势,让读者清楚设计该系统的目的及意义。然后较为详细地叙述了系统设计的可行性分析、需求分析、概要设计和功能的实现,其中主要以技术可行性和功能需求为主要叙述对象。最后把系统测试的方法和设计该系统出现的问题及修改完善的方法加以说明让大家更好的了解设计的过程。系统的功能主要包括基本的查询系统、订票系统、退票系统;主要的工作处理包括机票预订处理和退票处理;信息资料查询主要是管理员对客户信息查询、用户对航班信息查询、机票预定查询和退票信息查询;这些功能都满足了客户对机票预订系统的使用需求和对信息检索的要求。     

基于ESU图的活动社交网络用户参加活动推荐

活动社交网络(EBSNs)为用户提供了方便的组织、参加和分享社交活动的平台。该文面向EBSNs活动推荐问题,提出了包含活动(Event)、主办方(Sponsor)和用户(User)的ESU图模型,深入揭示了EBSNs的实体及其社交关系。因为用户参加活动受多个因素影响,我们提出了基于ESU图的活动推荐多因素决策模型,包括社交影响力、活动内容、活动地点及活动时间。根据ESU图特点,提出了基于双向重启随机游走算法BD-RWR的实体重要度计算方法。选取真实的EBSNs平台—豆瓣同城验证所提方法的有效性。实验结果表明,该文提出的ESU图模型及融合了多因素的活动推荐模型,与已有最新方法相比,有效地提升了用户参加活动的推荐效果。     

Factors Affecting Web Disclosure Adoption in the Nonprofit Sector

ABSTRACT

Nonprofit organizations (NPOs) are strategically using their own personal website to present themselves to the public and share information. Despite the potential benefits of enhanced public confidence and trust, reduced operating costs, improved donor decision making, and increased donations, many nonprofit organizations have resisted the adoption of web disclosure. Informed by the literature on information systems (IS) adoption and technological innovation, this study examines the primary factors that influence the adoption and resistance of web disclosure. Our sample consisted of 176 survey responses from an initial group of 3,323 U.S. NPOs. The statistical results indicate that attitude toward disclosure, compatibility of disclosure with current practices, and financial readiness have a positive influence on web disclosure adoption. The findings have implications for research and practice.     

计及Spark和属性权重的售电套餐推荐方法

针对电力市场用户群庞大，交易过程中售电套餐选择困难的问题，在Spark环境下设计了一种售电套餐推荐方法，同时也解决了售电套餐推荐过程中在大数据环境下的可扩展性及实时性问题。首先，计算出每个套餐属性的权重值，从而计算得到售电套餐综合相似度。然后，计及用户和套餐两方面提出一种售电套餐推荐方法，实现售电套餐的精准推荐。实验表明，提出的推荐方法能够明显提高推荐的准确度，并且在分布式环境下具有良好的推荐效率和可扩展性。